Motor fluency deficits in the sequencing of actions in schizophrenia.

Many everyday activities depend on the capacity to organize and smoothly execute motor sequences. The authors tested the hypothesis that a sequencing deficit is associated with schizophrenia. They used a new method to distinguish between lower and higher order mechanisms for the impairment. The 1st task involved triggered sequences in which sensory information from 1 movement was the cue for initiation of the following movement. Results showed that the motor sequences were performed as fluently in patients as in controls. The 2nd and 3rd tasks involved sequences in which the entire movement sequence could be preplanned. Patients executed the sequences less fluently than controls but only under the condition where action sequences were required. Furthermore, the patients' fluency deficit increased with sequence complexity. The high discrimination power of Task 3 gave the authors a means to control for a potential psychometric confound involving differential discriminating power and to argue in favor of a specific higher order motor fluency deficit in patients with schizophrenia. It is suggested that basic lower order mechanisms that integrate sensory information with outgoing motor commands are preserved in schizophrenia, whereas higher order integrative mechanisms that are required for the smooth coordination of motor sequences are impaired. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

基于Delphi的报童模型的实现与动态仿真

已往库存论中的决策模型,它是把现实过程用数学的方法进行分析,得到决策值,但不能看到决策的过程,不能反映出现实生活中的不确定性、动态性。运用Delphi 7.0和SQL server 2000对销售过程进行了动态仿真,利用Newsboy模型的推广(S,s)订购策略来监控库存并做出决策,这样就体现出此过程的不确定性、动态性;且举出了一个仿真商品销售的实例,对其中的一些关键技术,如何仿真、算法的实现等进行了阐述。     

Intermediate order in tetrahedrally coordinated silicon: evidence for chainlike objects

In this report, we describe the nature of intermediate order in silicon as determined by recent measurements on thin films using transmission electron microscopy (TEM) and Raman scattering. The TEM images show in addition to the expected continuous random network (CRN), the presence of highly ordered quasi-one-dimensional “chain-like objects” (CLO's) that are 1–2 nm wide and tens of nm long that meander and show some evidence of cross-linking with each other. The presence of these objects correlate to a Raman feature centered at 490 cm⁻¹ whose width is 35–40 cm⁻¹, and is used to quantify the heterogeneity in terms of the CLO and CRN (=475 cm⁻¹ scattering) concentrations. The 490 and 35 cm⁻¹ values are consistent with bond angle deviations approaching 0°, and thus reinforces an association with the CLOs. We find that in reference quality a-Si:H (made using pure SiH₄), the CLO concentration is about 5 vol%, while in state-of-the-art material using high H₂ levels of dilution during processing, it increases to about 15%. Increased stability of such material to light-soaking is thus not mediated by a direct volumetric replacement of poor with high-quality components. Rather, an important characteristic of intermediate order in silicon is the low-dimensional aspect of its order, which allows it to influence more total volume than which it is itself composed. Consistent with these and other recent findings, we propose a tensegrity model of amorphous silicon.     

扩展的逻辑程序系统及其语义理论

将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通过建立诸如p-包含及装配/拆卸等代数概念,本文扩充了逻辑满足及模型比较等概念,证明了一HILOG程序具有一最小模型闭包及标准(装配形式)最小模型的唯一性,提出了模型的p-相交定理及扩充的最小模型极小不动点性质.一阶逻辑程序语义在上述各方面恰为HILOG语义之特殊情况,二者语义上的联系提供了将HILOG程序映射到一阶系统的可能性.     

Types as Graphs: Continuations in Type Logical Grammar

Using the programming-language concept of continuations, we propose a new, multimodal analysis of quantification in Type Logical Grammar. Our approach provides a geometric view of in-situ quantification in terms of graphs, and motivates the limited use of empty antecedents in derivations. Just as continuations are the tool of choice for reasoning about evaluation order and side effects in programming languages, our system provides a principled, type-logical way to model evaluation order and side effects in natural language. We illustrate with an improved account of quantificational binding, weak crossover, wh-questions, superiority, and polarity licensing.     

二氧化碳加氢直接合成二甲醚催化剂的研究——沉淀次序对复合催化剂结构和性能的影响

以草酸乙醇溶液为沉淀剂,采用不同的沉淀次序(并流、反加和正加)制备了CuO-ZnO-Al2O3/HZSM-5复合型催化剂,对CO2加氢直接合成二甲醚反应的催化活性顺序为:并流法催化剂>反加法催化剂>正加法催化剂。3种复合催化剂的还原温度由低到高的顺序为:并流法催化剂<反加法催化剂<正加法催化剂。在沉淀过程中,反加法和正加法均形成类胶体沉淀,相应催化剂的比表面积也较大。IR研究发现,催化剂在1101cm-1处表现Cu/Zn/Al氧化物与HZSM-5分子筛之间相互作用的IR吸收峰强度与其催化活性间存在对应关系。XRD结果表明,并流法得到的催化剂前驱体中有铜锌同形取代现象,有利于催化剂活性的发挥。     

双贴合无光焦度校正板在主反射镜前的两镜系统的像差特性

在光学系统中特别是反射系统中经常通过加无光焦度校正板来减少或消除其他元件所产生的像差。讨论了双贴合无光焦度校正板放在主镜前的双反射球面系统，根据像差理论分析了消像差的条件，研究了系统中各种参数的变化对系统高级残余像差的影响。结果表明主镜的相对孔径越大，系统的残余像差增加；正透镜在前的校正板结构优于负透镜在前的结构；选择合适的校正板单透镜的光焦度，可使系统的高级残余像差最小。     

Ku波段带通滤波器的设计与实现

介绍一种微波高频段带通滤波器的设计方法,同时给出一个滤波器的设计实例和测试结果。利用制作简单的园棒内导体结构,采用梳状线与同轴腔相结合的方式,实现窄带带通滤波器,达到结构紧凑、性能优良、方便组件集成的使用效果。     

横泉水库大坝土料碾压试验

在取得土料场土料物理力学性质参数的情况下，遵循碾压试验基本原理、方法及参数组合，进行了现场碾压试验，通过试验成果的分析，得出了大坝碾压试验结论，为大坝土方填筑提供了技术依据。     

Efficient Low Dissipative High Order Schemes for Multiscale MHD Flows, II: Minimization of ∇·B Numerical Error

An adaptive numerical dissipation control in a class of high order filter methods for compressible MHD equations is systematically discussed. The filter schemes consist of a divergence-free preserving high order spatial base scheme with a filter approach which can be divergence-free preserving depending on the type of filter operator being used, the method of applying the filter step, and the type of flow problem to be considered. Some of these filter variants provide a natural and efficient way for the minimization of the divergence of the magnetic field (∇·B) numerical error in the sense that commonly used divergence cleaning is not required. Numerical experiments presented emphasize the performance of the ∇·B numerical error. Many levels of grid refinement and detailed comparison of the filter methods with several commonly used compressible MHD shock-capturing schemes will be illustratedA condensed version appears in the Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, Vietnam. This is a revised version of a longer internal report, Feb. 19, 2004. The longer internal report was published as a RIACS Technical Report TR03.10, July 2003, NASA Ames Research Center